Computer and Modernization ›› 2010, Vol. 1 ›› Issue (8): 161-166.doi: 10.3969/j.issn.1006-2475.2010.08.044
• 软件工程 • Previous Articles Next Articles
LIN Yong-xing1, WANG Peng-ying2, QIU Jian-feng3, XU Hai-chang4, WANG Yue4
Received:
Revised:
Online:
Published:
Abstract: The paper proposes a method for semantic message matching in automatic service composition. It develops a framework in which the exported message description and behavior description of a service, and represents the behavior of a service with a finite state machine. Since the service interface definition can be represented by ontology concepts, and the service behavior can be represented using linear logic formulas, so the inference rules of linear logic can check the matchability and satisfyability of service message. Meanwhile, it extends the inference rules of linear logic for service composition.
Key words: semantic service, service composition, description logic, linear logic
LIN Yong-xing;WANG Peng-ying;QIU Jian-feng;XU Hai-chang;WANG Yue. Semantic Service Message Matching Based on Linear Logic in Service Composition[J]. Computer and Modernization, 2010, 1(8): 161-166.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://www.c-a-m.org.cn/EN/10.3969/j.issn.1006-2475.2010.08.044
http://www.c-a-m.org.cn/EN/Y2010/V1/I8/161